『Monads for functional programming』
Abstract
未読
1 Introduction
未読
2 Evaluating monads
純粋関数型言語は、データの全ての流れが明示的になるのが利点
ただ、これはモジュール性に関して長所にも短所にもなりうる
長所: 究極のモジュール性
小さい関数を作って組み合わせていくことを言ってるんだろうmrsekut.icon
データ入力や、データの流れがコード上に現れる
短所: データの配管にアルゴリズムの本質が埋もれる
すでに出来上がった関数群に対してデバッグ的な何かを加えたい時のことを言っている
エラー処理やログを仕込むためには、そのログ的情報を流すために色々手を加えないといけない
再帰呼び出しの修正とか
手続き的な言語なら、ここまで大変にならない
ここにその状況にあったモナドを使うことで解決ができる
純粋関数型言語を扱っていながらも、手続き型の柔軟性の一部を利用できる
2.1~未読